IMonoid{i}  Type{i'} 

latex

Up	groups 1
Definitions of Statement	IMonoid
Definitions	IMonoid, t  T, , x:A. B(x)
Lemmas	grp id wf, grp op wf, grp car wf, monoid p wf, grp sig wf